本钢连轧厂设备大中修辅助决策管理系统的设计与实现

介绍了一个企业设备大中修辅助决策管理系统的设计与实现方法，并结合实际应用综述了基于“结构字典库”的面向功能的程序设计方法及基于“哑元变量替换”的报表通用程序设计方法。     

A temporal logic approach to discrete event control for the safety canonical class

This paper presents a temporal logic formulation of discrete event control which forms a new theoretical basis for control analysis and synthesis of a class of discrete event systems (DES). Based on the formulation, a basic supervisory control theory is developed for a control objective specified by an invariance formula belonging to the safety canonical class of Manna and Pneuli. Using the safety canonical class as a basis, the refinement and generalization of the existing basic predicate framework are demonstrated. A simple example illustrates the formal axiomatic means to perform control-theoretic analysis and synthesis under the new formulation.     

LR分析的教学法探讨

LR分析法是编译程序语法分析中最常用且有效的自下而上的分析方法,理论较完善,适用于大多数上下文无关语言的分析。本文主要探讨LR分析的教学方法,采用"启发+关联式"教学法,引导学生理解LR分析的内涵。     

基于模糊粗糙集的新闻视频镜头边界检测方法

镜头边界检测是实现基于内容的视频检索的一个重要步骤.为了将视频分割成镜头,现有的方法大都是首先提取大量的特征然后构造相异性测度函数.然而,太多的特征就会降低算法的效率.因此,有必要对镜头边界检测的规则进行特征约简.本文将粗糙集中的属性重要性和模糊粗糙集中的分类精度相结合定义了模糊粗糙算子,并构造了相异度检测函数.最后给出了镜头边界检测的一般性规则.由于本文检测方案的自适应性,因此适合于各种类型的新闻视频.用来自中央电视台的3个多小时的新闻视频所做的镜头边界检测实验获得了95.4%的查全率和96.1%的准确率.     

Hilbert C*-模H中标准框架的刻画

应用A-值线性算子T:H→l2(A),刻画了H中标准框架、正规紧标准框架及两个互为对偶的标准框架,讨论了A-值线性、有界、可逆及正的框架算子S=T*T的等价性质,证明了模H的标准框架与它的典型对偶标准框架是正规紧标准框架的充分必要条件是框架算子S=I.     

基于免参数据挖掘的相异度度量研究

由于参数设置导致数据挖掘结果异常的例子很多，为了解决这一问题，出现了免参数据挖掘思想。对Kolmogorov复杂度理论进行了研究，将其和免参数据挖掘思想相结合，提出了一种基于压缩的相异度度量SCDM。由于压缩算法是空间和时间高效性算法，使得应用该算法的相异度度量也具有较好的性能。实验表明将这种相异度度量应用到层次聚类算法中，其聚类的准确率也较高。     

基于核规范变量分析的非线性故障诊断方法

提出一种基于核规范变量分析（KCVA）的非线性过程故障诊断方法．该方法使用核函数完成非线性空间到高维线性空间的映射，避免了高维空间中的数据处理和非线性映射函数的使用．在线性空间中使用规范变量分析（CVA）来辨识状态空闻模型，从数据中提取状态信息．3个监测量（Tr^2，Ts^2，Q）用来进行故障检测，同时使用贡献图分离故障变量，并判断故障原因．在CSTR系统上的仿真结果表明，KCVA方法比主元分析法（PCA）和CVA方法能更灵敏地检测到故障的发生，更有效地监控过程变化．     

一种基于可观测标准型的模型降阶算法

模型降阶方法在大规模集成电路的仿真中有着广泛的应用.由于对互联网络提取寄生参数后电路的规模巨大,使用传统的电路仿真方法将会消耗大量的资源,而模型降阶使得仿真计算量显著减小的同时精度并没有多少损失.文章针对互连线网络的MNA(Modified Nodal Analysis)矩阵通常可观测性较弱的特点,提出了一种基于可观测标准型的模型降阶算法:MOROC.文中推导证明了该算法能够匹配原系统的前q个矩,且具有形式简单和容易检验稳定性的特点.并给出了应用该算法对耦合互连线的降阶建模和仿真结果.     

Canonical STATIS: Biplot analysis of multi-table group structured data based on STATIS-ACT methodology

Frequently multivariate experimental data taken over multiple occasions is found to produce a multivariate multi-table experiment. Neither the separate analysis of each occasion, using MANOVA or canonical variate analysis, nor the joint analysis using the STATIS-ACT methodology for multiple tables, are adequate to capture the real structure of the data matrices, since the first account for group structure but not time evolution and the second confuses the “between” and “within” group variabilities. A method baptized Canonical STATIS, based on STATIS-ACT methodology, is proposed. The method permits to account for data group structure as well as time evolution on the various occasions by obtaining common or stable canonical variates across multiple occasions or data sets. A simultaneous representation of groups, variables and occasions (biplot) is obtained, thereby widening the capabilities of classical methods.     

优化的粗糙神经网络在故障诊断中的应用

本文在相异度理论的基础上，提出了类间相异度的度量方法，从而以粗糙集理论为属性约简工具，利用相异度理论进行类的泛化和特化．构造出了优化的粗糙神经网络模型。故障诊断实例分析表明，该模型对神经网络分层约简并剔除其中不必要的属性．减少了神经网络的总体训练时间和决策过程中的模式匹配搜索量，大大提高故障诊断系统的反应能力，在大型复杂的故障诊断应用中效果尤为明显。